hypothetical-deductive system

假设-演绎系统